M Broy：在 Z-Library 上搜索

募捐 9月15日2024 – 10月1日2024 关于筹款

您通往知识和文化的门户。每个人都可以使用。

募捐 9月15日2024 – 10月1日2024

Z-Library 是世界上最大的在线图书馆之一，它拥有超过17,000,000的书籍和84,837,000的文章。我们的目标是让每个人都能获得文学作品. 今天(9月15日2024)，我们又发起了一个募捐活动，以支持和发展这个项目.

同时无限下载 (捐款后31日内) 可适与所有在10月1日2024之前进行捐款的用户.

关于筹款更多

书籍 (103)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

1

Design Thinking for Software Engineering: Creating Human-oriented Software-intensive Products and Services

Design Thinking for Software Engineering: Creating Human-oriented Software-intensive Products and Services

Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy

年:

2022

语言:

english

文件:

PDF, 6.02 MB

5.0 / 5.0

english, 2022

2

Engineering Methods and Tools for Software Safety and Security - Volume 22 NATO Science for Peace and Security Series - D: Information and Communication Security

Engineering Methods and Tools for Software Safety and Security - Volume 22 NATO Science for Peace and Security Series - D: Information and Communication Security

M. Broy, W. Sitou and T. Hoare

年:

2009

语言:

english

文件:

PDF, 3.52 MB

0 / 0

english, 2009

3

Formal Methods and Models for System Design: A System Level Perspective

Formal Methods and Models for System Design: A System Level Perspective

Manfred Broy (auth.), Rajesh Gupta, Paul Le Guernic, Sandeep Kumar Shukla, Jean-Pierre Talpin (eds.)

年:

2004

语言:

english

文件:

PDF, 23.23 MB

0 / 0

english, 2004

4

Software Systems Reliability and Security

Software Systems Reliability and Security

M. Broy, M Broy, T. Hoare, J. Grunbauer

年:

2007

语言:

english

文件:

PDF, 3.09 MB

0 / 0

english, 2007

5

Requirements Engineering Artifact Quality: Definition and Control

Requirements Engineering Artifact Quality: Definition and Control

Universitätsbibliothek der TU München

Broy, Manfred, Femmer, Henning, Glinz, Martin

年:

2017

语言:

english

文件:

PDF, 4.36 MB

0 / 0

english, 2017

6

Automotive Software – Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

Automotive Software – Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Christian Ferdinand, Reinhold Heckmann (auth.), Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.)

年:

2006

语言:

english

文件:

PDF, 4.65 MB

0 / 0

english, 2006

7

Formal Systems Specification: The RPC-Memory Specification Case Study

Formal Systems Specification: The RPC-Memory Specification Case Study

Springer-Verlag Berlin Heidelberg

Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

年:

1996

语言:

english

文件:

DJVU, 4.41 MB

5.0 / 4.0

english, 1996

8

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Springer Berlin Heidelberg

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

年:

2010

语言:

german

文件:

PDF, 1.20 MB

0 / 0

german, 2010

9

Pioneers and Their Contributions to Software Engineering: sd&m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions

Pioneers and Their Contributions to Software Engineering: sd&m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions

Springer Berlin Heidelberg

K. Samelson, F. L. Bauer (auth.), Manfred Broy, Ernst Denert (eds.)

年:

2001

语言:

english

文件:

PDF, 34.05 MB

0 / 0

english, 2001

10

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Springer-Verlag Berlin Heidelberg

Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

年:

1985

语言:

english

文件:

DJVU, 5.69 MB

0 / 0

english, 1985

11

Model-Based Testing of Reactive Systems: Advanced Lectures

Model-Based Testing of Reactive Systems: Advanced Lectures

Springer-Verlag Berlin Heidelberg

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

年:

2005

语言:

english

文件:

PDF, 5.87 MB

0 / 0

english, 2005

12

Software Quality. Increasing Value in Software and Systems Development: 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings

Software Quality. Increasing Value in Software and Systems Development: 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Dietmar Winkler, Stefan Biffl, Johannes Bergsmann (eds.)

年:

2013

语言:

english

文件:

PDF, 5.15 MB

0 / 0

english, 2013

13

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)

Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

年:

2005

语言:

english

文件:

PDF, 6.45 MB

0 / 0

english, 2005

14

Formal Systems Specification: The RPC-Memory Specification Case Study

Formal Systems Specification: The RPC-Memory Specification Case Study

Springer-Verlag Berlin Heidelberg

Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

年:

1996

语言:

english

文件:

PDF, 8.22 MB

0 / 0

english, 1996

15

Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers

Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Manfred Broy, María Victoria Cengarle, Eva Geisberger (auth.), Radu Calinescu, David Garlan (eds.)

年:

2012

语言:

english

文件:

PDF, 8.59 MB

0 / 0

english, 2012

16

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Springer Berlin Heidelberg

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

年:

2010

语言:

german

文件:

PDF, 1.36 MB

0 / 0

german, 2010

17

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Karin Breitman, Ana Cavalcanti (eds.)

年:

2009

语言:

english

文件:

PDF, 13.88 MB

0 / 0

english, 2009

18

Program Design Calculi

Program Design Calculi

Springer-Verlag Berlin Heidelberg

Carroll Morgan (auth.), Manfred Broy (eds.)

年:

1993

语言:

english

文件:

PDF, 13.42 MB

0 / 0

english, 1993

19

Информатика. Ч.4: Теоретическая информатика, алгоритмы и структуры данных, логическое программирование

Информатика. Ч.4: Теоретическая информатика, алгоритмы и структуры данных, логическое программирование

Диалог МИФИ

Брой М.(Broy M.)

年:

1998

语言:

russian

文件:

DJVU, 2.23 MB

0 / 0

russian, 1998

20

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Springer Netherlands

Ralph-Johan Back (auth.), Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare (eds.)

年:

2005

语言:

english

文件:

PDF, 6.11 MB

0 / 0

english, 2005

21

Информатика. Ч.3: Структуры систем и системное программирование

Информатика. Ч.3: Структуры систем и системное программирование

Диалог МИФИ

Брой М.(Broy M.)

年:

1996

语言:

russian

文件:

DJVU, 2.67 MB

0 / 0

russian, 1996

22

Requiem pour une naine (French Edition)

Requiem pour une naine (French Edition)

年:

2021

语言:

french

文件:

EPUB, 566 KB

0 / 0

french, 2021

23

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

年:

1996

语言:

english

文件:

DJVU, 3.86 MB

0 / 0

english, 1996

24

Requirements Targeting Software and Systems Engineering: International Workshop RTSE ’97, Bernried, Germany, October 12-14, 1997

Requirements Targeting Software and Systems Engineering: International Workshop RTSE ’97, Bernried, Germany, October 12-14, 1997

Springer Berlin Heidelberg

Dines Bjørner (auth.), Manfred Broy, Bernhard Rumpe (eds.)

年:

1998

语言:

english

文件:

PDF, 3.20 MB

0 / 0

english, 1998

25

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)

年:

2003

语言:

english

文件:

PDF, 7.03 MB

0 / 0

english, 2003

26

Информатика. Ч.2: Вычислительные структуры и машинно-ориентированное программирование

Информатика. Ч.2: Вычислительные структуры и машинно-ориентированное программирование

Диалог МИФИ

Брой М.(Broy M.)

年:

1996

语言:

russian

文件:

DJVU, 2.92 MB

0 / 0

russian, 1996

27

Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Springer Science & Business Media

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

年:

2005

语言:

english

文件:

PDF, 5.87 MB

0 / 0

english, 2005

28

The Munich Project CIP

The Munich Project CIP

Springer-Verlag Berlin Heidelberg

F. L. Brauer, R. Berghammer, W. Dosch, R. Gnatz, E. Hangel, B. Möller, H. Partsch, P. Pepper, K. Samelson, H. Wössner, M. Broy, F. Nickl, M. Wirsing, F. Geiselbrechtinger, W. Hesse, B. Krieg-Brückner, A. Laut, T. Matzner (auth.)

年:

1985

语言:

english

文件:

DJVU, 1.87 MB

0 / 0

english, 1985

29

The Munich Project CIP

The Munich Project CIP

Springer-Verlag Berlin Heidelberg

F. L. Brauer, R. Berghammer, W. Dosch, R. Gnatz, E. Hangel, B. Möller, H. Partsch, P. Pepper, K. Samelson, H. Wössner, M. Broy, F. Nickl, M. Wirsing, F. Geiselbrechtinger, W. Hesse, B. Krieg-Brückner, A. Laut, T. Matzner (auth.)

年:

1985

语言:

english

文件:

PDF, 3.57 MB

0 / 0

english, 1985

30

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)

年:

2003

语言:

english

文件:

PDF, 5.85 MB

0 / 0

english, 2003

31

Информатика. Ч.1

Информатика. Ч.1

Диалог МИФИ

Брой М.(Broy M.)

年:

1996

语言:

russian

文件:

DJVU, 5.14 MB

0 / 0

russian, 1996

32

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

年:

2009

语言:

english

文件:

PDF, 35.10 MB

0 / 0

english, 2009

33

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Springer Berlin Heidelberg

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

年:

2010

语言:

german

文件:

PDF, 1.26 MB

0 / 5.0

german, 2010

34

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Springer Berlin Heidelberg

Broy, Manfred (ed.)

年:

1986

语言:

english

文件:

DJVU, 5.62 MB

0 / 0

english, 1986

35

Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Springer Science & Business Media

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

年:

2005

语言:

english

文件:

FB2 , 3.18 MB

0 / 0

english, 2005

36

Requiem pour une naine

Requiem pour une naine

Alphonse Broy [Broy, Alphonse]

年:

2021

语言:

french

文件:

EPUB, 492 KB

0 / 0

french, 2021

37

Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Springer Science & Business Media

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

年:

2005

语言:

english

文件:

TXT, 1.63 MB

0 / 0

english, 2005

38

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

年:

1996

语言:

english

文件:

PDF, 6.23 MB

0 / 5.0

english, 1996

39

Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Springer Science & Business Media

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

年:

2005

语言:

english

文件:

MOBI , 1.81 MB

0 / 0

english, 2005

40

Program design calculi

Program design calculi

年:

1993

语言:

english

文件:

DJVU, 3.62 MB

0 / 3.5

english, 1993

41

Requiem pour une naine (French Edition)

Requiem pour une naine (French Edition)

年:

2021

语言:

french

文件:

EPUB, 566 KB

0 / 0

french, 2021

42

Le Broyeur, Concerto pour chargeurs

Le Broyeur, Concerto pour chargeurs

年:

2021

语言:

french

文件:

EPUB, 428 KB

0 / 4.0

french, 2021

43

Requiem pour une naine

Requiem pour une naine

年:

2021

语言:

french

文件:

EPUB, 566 KB

0 / 5.0

french, 2021

44

Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology

Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology

Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck

年:

2021

语言:

english

文件:

PDF, 16.86 MB

0 / 4.0

english, 2021

45

Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology

Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology

Springer International Publishing

Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger (eds.)

年:

2016

语言:

english

文件:

PDF, 42.87 MB

0 / 0

english, 2016

46

Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology

Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology

Springer-Verlag Berlin Heidelberg

Klaus Beetz, Dr. Wolfgang Böhm (auth.), Klaus Pohl, Harald Hönninger, Reinhold Achatz, Manfred Broy (eds.)

年:

2012

语言:

english

文件:

PDF, 10.50 MB

0 / 0

english, 2012

47

Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis

Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis

Springer Fachmedien Wiesbaden; Springer Vieweg

年:

2019

语言:

german

文件:

PDF, 4.91 MB

0 / 5.0

german, 2019

48

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Springer-Verlag Berlin Heidelberg

Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

年:

1985

语言:

english

文件:

PDF, 26.53 MB

0 / 0

english, 1985

49

Programming and Mathematical Method: International Summer School

Programming and Mathematical Method: International Summer School

Springer-Verlag Berlin Heidelberg

Prof. Dr. Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

年:

1992

语言:

english

文件:

PDF, 31.22 MB

0 / 0

english, 1992

50

Software Pioneers: Contributions to Software Engineering

Software Pioneers: Contributions to Software Engineering

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Prof. Dr. Manfred Broy, Prof. Dr. Ernst Denert (eds.)

年:

2002

语言:

english

文件:

PDF, 305.89 MB

0 / 0

english, 2002